Optimal. Leaf size=147 \[ -\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}+\frac {b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{d \sqrt {c^2 d^2-e^2}}+\frac {b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tanh ^{-1}\left (\sqrt {1-c^2 x^2}\right )}{d e} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 147, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.438, Rules used = {6423, 975, 272,
65, 214, 739, 210} \begin {gather*} -\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}+\frac {b \sqrt {\frac {1}{c x+1}} \sqrt {c x+1} \text {ArcTan}\left (\frac {c^2 d x+e}{\sqrt {1-c^2 x^2} \sqrt {c^2 d^2-e^2}}\right )}{d \sqrt {c^2 d^2-e^2}}+\frac {b \sqrt {\frac {1}{c x+1}} \sqrt {c x+1} \tanh ^{-1}\left (\sqrt {1-c^2 x^2}\right )}{d e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 210
Rule 214
Rule 272
Rule 739
Rule 975
Rule 6423
Rubi steps
\begin {align*} \int \frac {a+b \text {sech}^{-1}(c x)}{(d+e x)^2} \, dx &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}-\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \int \frac {1}{x (d+e x) \sqrt {1-c^2 x^2}} \, dx}{e}\\ &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}-\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \int \left (\frac {1}{d x \sqrt {1-c^2 x^2}}-\frac {e}{d (d+e x) \sqrt {1-c^2 x^2}}\right ) \, dx}{e}\\ &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}+\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{d}-\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \int \frac {1}{x \sqrt {1-c^2 x^2}} \, dx}{d e}\\ &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}-\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \text {Subst}\left (\int \frac {1}{-c^2 d^2+e^2-x^2} \, dx,x,\frac {e+c^2 d x}{\sqrt {1-c^2 x^2}}\right )}{d}-\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \text {Subst}\left (\int \frac {1}{x \sqrt {1-c^2 x}} \, dx,x,x^2\right )}{2 d e}\\ &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}+\frac {b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{d \sqrt {c^2 d^2-e^2}}+\frac {\left (b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x}\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{c^2}-\frac {x^2}{c^2}} \, dx,x,\sqrt {1-c^2 x^2}\right )}{c^2 d e}\\ &=-\frac {a+b \text {sech}^{-1}(c x)}{e (d+e x)}+\frac {b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{d \sqrt {c^2 d^2-e^2}}+\frac {b \sqrt {\frac {1}{1+c x}} \sqrt {1+c x} \tanh ^{-1}\left (\sqrt {1-c^2 x^2}\right )}{d e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.15, size = 222, normalized size = 1.51 \begin {gather*} -\frac {a}{e (d+e x)}-\frac {b \text {sech}^{-1}(c x)}{e (d+e x)}-\frac {b \log (x)}{d e}+\frac {b \log (d+e x)}{d \sqrt {-c^2 d^2+e^2}}+\frac {b \log \left (1+\sqrt {\frac {1-c x}{1+c x}}+c x \sqrt {\frac {1-c x}{1+c x}}\right )}{d e}-\frac {b \log \left (e+c^2 d x+\sqrt {-c^2 d^2+e^2} \sqrt {\frac {1-c x}{1+c x}}+c \sqrt {-c^2 d^2+e^2} x \sqrt {\frac {1-c x}{1+c x}}\right )}{d \sqrt {-c^2 d^2+e^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.55, size = 243, normalized size = 1.65
method | result | size |
derivativedivides | \(\frac {-\frac {a \,c^{2}}{\left (c e x +c d \right ) e}-\frac {b \,c^{2} \mathrm {arcsech}\left (c x \right )}{\left (c e x +c d \right ) e}+\frac {b \,c^{2} \sqrt {-\frac {c x -1}{c x}}\, x \sqrt {\frac {c x +1}{c x}}\, \arctanh \left (\frac {1}{\sqrt {-c^{2} x^{2}+1}}\right )}{e d \sqrt {-c^{2} x^{2}+1}}-\frac {b \,c^{2} \sqrt {-\frac {c x -1}{c x}}\, x \sqrt {\frac {c x +1}{c x}}\, \ln \left (\frac {2 \sqrt {-c^{2} x^{2}+1}\, \sqrt {-\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, e +2 d \,c^{2} x +2 e}{c e x +c d}\right )}{e \sqrt {-\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, d \sqrt {-c^{2} x^{2}+1}}}{c}\) | \(243\) |
default | \(\frac {-\frac {a \,c^{2}}{\left (c e x +c d \right ) e}-\frac {b \,c^{2} \mathrm {arcsech}\left (c x \right )}{\left (c e x +c d \right ) e}+\frac {b \,c^{2} \sqrt {-\frac {c x -1}{c x}}\, x \sqrt {\frac {c x +1}{c x}}\, \arctanh \left (\frac {1}{\sqrt {-c^{2} x^{2}+1}}\right )}{e d \sqrt {-c^{2} x^{2}+1}}-\frac {b \,c^{2} \sqrt {-\frac {c x -1}{c x}}\, x \sqrt {\frac {c x +1}{c x}}\, \ln \left (\frac {2 \sqrt {-c^{2} x^{2}+1}\, \sqrt {-\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, e +2 d \,c^{2} x +2 e}{c e x +c d}\right )}{e \sqrt {-\frac {c^{2} d^{2}-e^{2}}{e^{2}}}\, d \sqrt {-c^{2} x^{2}+1}}}{c}\) | \(243\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 534 vs.
\(2 (97) = 194\).
time = 0.40, size = 1161, normalized size = 7.90 \begin {gather*} \left [-\frac {a c^{2} d^{3} - a d \cosh \left (1\right )^{2} - 2 \, a d \cosh \left (1\right ) \sinh \left (1\right ) - a d \sinh \left (1\right )^{2} + {\left (b x \cosh \left (1\right )^{2} + b x \sinh \left (1\right )^{2} + b d \cosh \left (1\right ) + {\left (2 \, b x \cosh \left (1\right ) + b d\right )} \sinh \left (1\right )\right )} \sqrt {-\frac {{\left (c^{2} d^{2} - 1\right )} \cosh \left (1\right ) - {\left (c^{2} d^{2} + 1\right )} \sinh \left (1\right )}{\cosh \left (1\right ) - \sinh \left (1\right )}} \log \left (\frac {c^{2} d x \cosh \left (1\right ) + \cosh \left (1\right )^{2} + {\left (c^{2} d x + 2 \, \cosh \left (1\right )\right )} \sinh \left (1\right ) + \sinh \left (1\right )^{2} - {\left (c^{2} d x + \cosh \left (1\right ) + \sinh \left (1\right )\right )} \sqrt {-\frac {{\left (c^{2} d^{2} - 1\right )} \cosh \left (1\right ) - {\left (c^{2} d^{2} + 1\right )} \sinh \left (1\right )}{\cosh \left (1\right ) - \sinh \left (1\right )}} - {\left (c^{3} d^{2} x - c x \cosh \left (1\right )^{2} - 2 \, c x \cosh \left (1\right ) \sinh \left (1\right ) - c x \sinh \left (1\right )^{2} + {\left (c x \cosh \left (1\right ) + c x \sinh \left (1\right )\right )} \sqrt {-\frac {{\left (c^{2} d^{2} - 1\right )} \cosh \left (1\right ) - {\left (c^{2} d^{2} + 1\right )} \sinh \left (1\right )}{\cosh \left (1\right ) - \sinh \left (1\right )}}\right )} \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}}}{x \cosh \left (1\right ) + x \sinh \left (1\right ) + d}\right ) + {\left (b c^{2} d^{2} x \cosh \left (1\right ) + b c^{2} d^{3} - b x \cosh \left (1\right )^{3} - b x \sinh \left (1\right )^{3} - b d \cosh \left (1\right )^{2} - {\left (3 \, b x \cosh \left (1\right ) + b d\right )} \sinh \left (1\right )^{2} + {\left (b c^{2} d^{2} x - 3 \, b x \cosh \left (1\right )^{2} - 2 \, b d \cosh \left (1\right )\right )} \sinh \left (1\right )\right )} \log \left (\frac {c x \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}} - 1}{x}\right ) + {\left (b c^{2} d^{3} - b d \cosh \left (1\right )^{2} - 2 \, b d \cosh \left (1\right ) \sinh \left (1\right ) - b d \sinh \left (1\right )^{2}\right )} \log \left (\frac {c x \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}} + 1}{c x}\right )}{c^{2} d^{3} x \cosh \left (1\right )^{2} + c^{2} d^{4} \cosh \left (1\right ) - d x \cosh \left (1\right )^{4} - d x \sinh \left (1\right )^{4} - d^{2} \cosh \left (1\right )^{3} - {\left (4 \, d x \cosh \left (1\right ) + d^{2}\right )} \sinh \left (1\right )^{3} + {\left (c^{2} d^{3} x - 6 \, d x \cosh \left (1\right )^{2} - 3 \, d^{2} \cosh \left (1\right )\right )} \sinh \left (1\right )^{2} + {\left (2 \, c^{2} d^{3} x \cosh \left (1\right ) + c^{2} d^{4} - 4 \, d x \cosh \left (1\right )^{3} - 3 \, d^{2} \cosh \left (1\right )^{2}\right )} \sinh \left (1\right )}, -\frac {a c^{2} d^{3} - a d \cosh \left (1\right )^{2} - 2 \, a d \cosh \left (1\right ) \sinh \left (1\right ) - a d \sinh \left (1\right )^{2} - 2 \, {\left (b x \cosh \left (1\right )^{2} + b x \sinh \left (1\right )^{2} + b d \cosh \left (1\right ) + {\left (2 \, b x \cosh \left (1\right ) + b d\right )} \sinh \left (1\right )\right )} \sqrt {\frac {{\left (c^{2} d^{2} - 1\right )} \cosh \left (1\right ) - {\left (c^{2} d^{2} + 1\right )} \sinh \left (1\right )}{\cosh \left (1\right ) - \sinh \left (1\right )}} \arctan \left (-\frac {{\left (c d x \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}} - x \cosh \left (1\right ) - x \sinh \left (1\right ) - d\right )} \sqrt {\frac {{\left (c^{2} d^{2} - 1\right )} \cosh \left (1\right ) - {\left (c^{2} d^{2} + 1\right )} \sinh \left (1\right )}{\cosh \left (1\right ) - \sinh \left (1\right )}}}{c^{2} d^{2} x - x \cosh \left (1\right )^{2} - 2 \, x \cosh \left (1\right ) \sinh \left (1\right ) - x \sinh \left (1\right )^{2}}\right ) + {\left (b c^{2} d^{2} x \cosh \left (1\right ) + b c^{2} d^{3} - b x \cosh \left (1\right )^{3} - b x \sinh \left (1\right )^{3} - b d \cosh \left (1\right )^{2} - {\left (3 \, b x \cosh \left (1\right ) + b d\right )} \sinh \left (1\right )^{2} + {\left (b c^{2} d^{2} x - 3 \, b x \cosh \left (1\right )^{2} - 2 \, b d \cosh \left (1\right )\right )} \sinh \left (1\right )\right )} \log \left (\frac {c x \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}} - 1}{x}\right ) + {\left (b c^{2} d^{3} - b d \cosh \left (1\right )^{2} - 2 \, b d \cosh \left (1\right ) \sinh \left (1\right ) - b d \sinh \left (1\right )^{2}\right )} \log \left (\frac {c x \sqrt {-\frac {c^{2} x^{2} - 1}{c^{2} x^{2}}} + 1}{c x}\right )}{c^{2} d^{3} x \cosh \left (1\right )^{2} + c^{2} d^{4} \cosh \left (1\right ) - d x \cosh \left (1\right )^{4} - d x \sinh \left (1\right )^{4} - d^{2} \cosh \left (1\right )^{3} - {\left (4 \, d x \cosh \left (1\right ) + d^{2}\right )} \sinh \left (1\right )^{3} + {\left (c^{2} d^{3} x - 6 \, d x \cosh \left (1\right )^{2} - 3 \, d^{2} \cosh \left (1\right )\right )} \sinh \left (1\right )^{2} + {\left (2 \, c^{2} d^{3} x \cosh \left (1\right ) + c^{2} d^{4} - 4 \, d x \cosh \left (1\right )^{3} - 3 \, d^{2} \cosh \left (1\right )^{2}\right )} \sinh \left (1\right )}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {a + b \operatorname {asech}{\left (c x \right )}}{\left (d + e x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {a+b\,\mathrm {acosh}\left (\frac {1}{c\,x}\right )}{{\left (d+e\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________